CurryDoc: A Documentation Tool for Declarative Programs
نویسنده
چکیده
In this system demonstration we present CurryDoc, a tool for the automatic generation of documentation manuals in HTML format from programs written in the declarative multi-paradigm language Curry. The documentation is generated by combining comments in the source program with information extracted from the program. It extends other tools with a similar goal (e.g., javadoc, lpdoc) by the inclusion of information in the generated documents which has been computed by analyzing the structure and approximating the run-time behavior of the program. CurryDoc is completely implemented in Curry and is used to generate the documentation of the libraries included in PAKCS, a freely available implementation of Curry.
منابع مشابه
CLOPS: A DSL for Command Line Options
Programmers often write custom parsers for the command line input of their programs. They do so, in part, because they believe that both their program’s parameterization and their option formats are simple. But as the program evolves, so does the parameterization and the available options. Gradually, option parsing, data structure complexity, and maintenance of related program documentation bec...
متن کاملPsychometric Properties of the Persian Word Pairs Task for Declarative Memory Assessment
Objective: According to the declarative/procedural model, the semantic aspect of language depends on the brain structures responsible for declarative memory. The word pairs task is a common tool for evaluating declarative memory. The current study aimed to design a valid and reliable task for evaluating declarative memory in Persian children at learning and retention stages and to investigate i...
متن کاملUnderstanding Object-Oriented Programs with Declarative Event Analysis
Understanding how components in an application interact to ensure a certain functionality is an essential aspect of understanding a software application. To obtain this kind of information an analysis of the dynamic behavior of an application is more appropriate than a static analysis of the code. Understanding dynamic behavior through event analysis is a challenge because of the large amount o...
متن کاملDOCUMENTING AND MAINTAINING MODULA-2 PROGRAMS WITH DOgMA
DOgMA is a software tool that supports the documentation and maintenance of Modula–2 programs. The tool combines the concepts of hypertext and literate programming to deliver powerful support of the comprehension process. DOgMA can be used to develop new programs, to explore or document existing ones, and to develop source code and documentation in parallel. The paper presents the concepts used...
متن کاملA Transformation Tool for Functional Logic Program Development
We present a tool to develop functional logic programs from their specifications. Specifications of functional logic languages, i.e., contracts in the form of preand postconditions, are written in the same language as the final programs. Thus, contracts serve either as initial prototypical implementations or as assertions to check the expected behavior of more efficient implementations. We desc...
متن کامل